61. Intelligent Control
پدیدآورنده : \ Nazmul Siddique; Foreword by Bernard Widrow
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Intelligent control systems,Fuzzy logic,سیستم‌های کنترل هوشمند,منطق فازی,a03,a04,a03,a04
رده :
E-Book
,
62. Interactive Theorem Proving
پدیدآورنده : \ Christian Urban, Xingyuan Zhang (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, symbolic and mathematical,منطق ریاضی,-- Congresses,-- کنگره‌ها,a03,a03
رده :
QA
76
.
9
.
A96
E-Book
,
63. Introduction to logic: as developed by Muslim logicians
پدیدآورنده : / Sayyid Ali Murtada
کتابخانه: Comprehensive Library of Al-Mustafa Al-Alamiya Society (Qom)
موضوع : منطق,Logic,a03,a03
رده :
BC50
.
M8I5
2016
64. Invitation to Critical Thinking
پدیدآورنده : / Joel Rudinow, Vincent E. Barry
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Critical thinking,Logic,تفکر انتقادی,منطق,a03,a05,a03,a05
رده :
BC177
.
R75
2008
65. Jin Yuelin's Ontology
پدیدآورنده : / by Yvonne Schulz Zinda
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Jin, Yuelin, 1895-1984,Philosophy, Chinese,Induction (Logic),Ontology,Knowledge, Theory of,فلسفه چینی,استقرا( منطق),هستی شناسی,نظریه شناخت
رده :
B5234
.
C5284
,
Z56
2012
66. KI 2015
پدیدآورنده : \ [edited by] Steffen Hölldobler...[et.al]
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Logic, symbolic and mathematical,کامپیوتر,منطق ریاضی,a04,a05,a04,a05,Artificial intelligence -- Congresses.,هوش مصنوعی-- کنگره‌ها
رده :
Q
336
.
K5
2015
E-Book
,
67. Kant and the Creation of Freedom
پدیدآورنده : \ Christopher J. Insole.
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Kant, Immanuel,1724-1804.,Free will and determinism.,Transcendental logic.,Philosophy.,کانت، ایمانوئل، ۱۷۲۴ - ۱۸۰۴م.,جبر و اختیار ,منطق متعالی
رده :
B2799
.
F8I57
2013
68. Knowledge-based neurocomputing : a fuzzy logic approach
پدیدآورنده : / Eyal Kolman, Michael Margaliot.,کلمن,Kolman
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : شبکه‌های عصبی (کامپیوتر),منطق فازی
رده :
QA
۷۶
/
۸۷
/
ک
۸
ن
۲ ۱۳۸۸
69. Kritik der Urteilskraft
پدیدآورنده : \ Immanuel Kant
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Judgment (Logic) -- Early works to 1800. ,Judgment (Aesthetics) -- Early works to 1800.,Aesthetics -- Early works to 1800.,تصدیق (منطق) -- متون قدیمی تا ۱۸۰۰م.,قضاوت (زیبایی‌شناسی) -- متون قدیمی تا ۱۸۰۰م,زیبایی‌شناسی-- متون قدیمی تا ۱۸۰۰م.
رده :
B2780
.
K32
K7
2015
70. Kıstâsul-Efkâr
پدیدآورنده : \ Şemsüddîn es-Semerkandî; eleştirmeli metin-çeviri Necmettin Pehlivan ; editör Ferruh Özpilavcı.,عنوان روی جلد: قسطاس الافکار فی تحقیق الاسرار/ شمس الدین السمرقندی ,title on cover: Kistas Al-Afkar fi Tahqiq Al Al-Asrar/ Shams Al-Din Al-Samarkandi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic -- Islamic countries -- History. ,Logic -- Early works to 1800. ,منطق -- کشورهای اسلامی -- تاریخ ,منطق -- متون قدیمی تا ۱۸۰۰م.
رده :
BC34
.
H6K5
2014
71. L'Axiomatique
پدیدآورنده : \ par Robert Blanche
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Philosophy ,Logic,فلسفه,منطق
رده :
B77
.
B55
L32
1967
72. Language, Thought and Reference
پدیدآورنده : / George Powell
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Language and logic,Reference (Linguistics),Semantics,Pragmatics,Semantics (Philosophy),زبان و منطق,معنی‌شناسی,کاربردشناسی,معنی‌شناسی (فلسفه)
رده :
P39
.
L367
2010
73. Lectures on Logic
پدیدآورنده : / [by] Immanuel Kant
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Modern - 18th century,منطق جدید - قرن۱۸ م
رده :
B2758
.
Y55
1992
74. Liver CT-scans Segmentation Based on Fuzzy Logic & graph Theory
پدیدآورنده : Zinab Hossein Mohmmed,Hossein Mohmmed,
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Liver CT images, Computer-aided diagnosis, Image segmentation, Fuzzy logic, Magnification, Graph theory,طبقه‌بندی مدولاسیون; شبکه عصبی عمیق ترکیبی؛ تبدیل فوریه کوتاه مدت (زمان-کوتاه)
75. Logic
پدیدآورنده : / Graham Priest
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
BC71
.
P75
2006
76. Logic
پدیدآورنده : \ W.H.Newton-Smith
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
E-Book
,
77. Logic
پدیدآورنده : / by John Nolt, Dennis Rohatyn, Achille Varzi
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic,منطق
رده :
BC108
.
N65
2006
78. Logic-Based Program Synthesis and Transformation
پدیدآورنده : \ Moreno Falaschi (Ed.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic programming -- Congresses.,Computer logic -- Congresses,Computer software -- Development -- Congresses.,برنامه‌نویسی منطقی -- کنگره‌ها ,منطق کامپیوتری -- کنگره ها ,نرم‌افزار -- تولید -- کنگره ها
رده :
QA
76
.
63
.
L6
2015
E-Book
,
79. Logic, Rationality, and Interaction
پدیدآورنده : \ Wiebe van der Hoek, Wesley H. Holliday, Wen-fang Wang (eds.).
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Logic, Symbolic and mathematical -- Congresses. ,Information theory -- Congresses. ,منطق ریاضی -- کنگره‌ها
رده :
Q360
.
L67
2015
E-Book
,
80. Logic, Rewriting, and Concurrency
پدیدآورنده : \ Narciso Martí-Oliet , Peter Csaba Ölveczky, Carolyn Talcott (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer science,Computer logic,کامپیوتر,منطق کامپیوتری,a03,a05,a03,a05,Computer software -- Development.,نرم‌افزار -- تولید
رده :
QA
76
.
L6
2015
E-Book
,
